CatDat

Implication Details

Assumptions: self-dualsifted colimits

Conclusions: cosifted limits

Reason: This holds by self-duality.